A Tranlsational Theorem for the Class of EOL Languages
نویسندگان
چکیده
If K is not a context-free language, then sh(K, a*) is not an EOL language (where sh(Ki,Kz) denotes the shuffle of the languages K i and K2, and a is a symbol not in the alphabet of K). Hence the class of context-free languages is the largest full AFL inside the class of EOL languages.
منابع مشابه
Alternating Regular Tree Grammars in the Framework of Lattice-Valued Logic
In this paper, two different ways of introducing alternation for lattice-valued (referred to as {L}valued) regular tree grammars and {L}valued top-down tree automata are compared. One is the way which defines the alternating regular tree grammar, i.e., alternation is governed by the non-terminals of the grammar and the other is the way which combines state with alternation. The first way is ta...
متن کاملAn extension theorem for finite positive measures on surfaces of finite dimensional unit balls in Hilbert spaces
A consistency criteria is given for a certain class of finite positive measures on the surfaces of the finite dimensional unit balls in a real separable Hilbert space. It is proved, through a Kolmogorov type existence theorem, that the class induces a unique positive measure on the surface of the unit ball in the Hilbert space. As an application, this will naturally accomplish the work of Kante...
متن کاملTitchmarsh theorem for Jacobi Dini-Lipshitz functions
Our aim in this paper is to prove an analog of Younis's Theorem on the image under the Jacobi transform of a class functions satisfying a generalized Dini-Lipschitz condition in the space $mathrm{L}_{(alpha,beta)}^{p}(mathbb{R}^{+})$, $(1< pleq 2)$. It is a version of Titchmarsh's theorem on the description of the image under the Fourier transform of a class of functions satisfying the Dini-Lip...
متن کاملStrong convergence theorem for a class of multiple-sets split variational inequality problems in Hilbert spaces
In this paper, we introduce a new iterative algorithm for approximating a common solution of certain class of multiple-sets split variational inequality problems. The sequence of the proposed iterative algorithm is proved to converge strongly in Hilbert spaces. As application, we obtain some strong convergence results for some classes of multiple-sets split convex minimization problems.
متن کاملOn a class of systems of n Neumann two-point boundary value Sturm-Liouville type equations
Employing a three critical points theorem, we prove the existence ofmultiple solutions for a class of Neumann two-point boundary valueSturm-Liouville type equations. Using a local minimum theorem fordifferentiable functionals the existence of at least one non-trivialsolution is also ensured.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Information and Control
دوره 50 شماره
صفحات -
تاریخ انتشار 1981